KAMEYAMA, YUKIYOSHI: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Axioms for control operators in the CPS hierarchy

Yukiyoshi Kameyama

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 525 KB

english, 2007

2

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 2998 || A Brief Survey of Quantum Programming Languages

Kameyama, Yukiyoshi, Stuckey, Peter J.

Year:

2004

Language:

english

File:

PDF, 107 KB

english, 2004

3

Combinators for impure yet hygienic code generation

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 688 KB

english, 2015

4

The Preliminary Study of Water-Retention Related Properties of Biochar Produced from Various Feedstock at Different Pyrolysis Temperatures

Kameyama, Koji, Miyamoto, Teruhito, Iwata, Yukiyoshi

Journal:

Year:

2019

Language:

english

File:

PDF, 2.11 MB

english, 2019

5

Strong normalizability of the non-deterministic catch/throw calculi

Yukiyoshi Kameyama, Masahiko Sato

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 186 KB

english, 2002

6

Calculi of meta-variables

Masahiko SATO, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi

Journal:

Frontiers of Computer Science

Year:

2008

Language:

english

File:

PDF, 199 KB

english, 2008

7

Type checking and typability in domain-free lambda calculi

Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 324 KB

english, 2011

8

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Combinators for impure yet hygienic code generation

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2014

Language:

english

File:

PDF, 563 KB

english, 2014

9

A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS

KAMEYAMA, YUKIYOSHI

Journal:

International Journal of Foundations of Computer Science

Year:

1995

Language:

english

File:

PDF, 1.29 MB

english, 1995

10

Shifting the stage

KAMEYAMA, YUKIYOSHI, KISELYOV, OLEG, SHAN, CHUNG-CHIEH

Journal:

Journal of Functional Programming

Year:

2011

Language:

english

File:

PDF, 1.00 MB

english, 2011

11

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Closing the stage

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2008

Language:

english

File:

PDF, 251 KB

english, 2008

12

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Shifting the stage

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2008

Language:

english

File:

PDF, 455 KB

english, 2008

13

A sound and complete axiomatization of delimited continuations

Kameyama, Yukiyoshi, Hasegawa, Masahito

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 178 KB

english, 2003

14

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Shonan challenge for generative programming

Aktemur, Baris, Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2013

Language:

english

File:

PDF, 515 KB

english, 2013

15

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - A sound and complete axiomatization of delimited continuations

Kameyama, Yukiyoshi, Hasegawa, Masahito

Year:

2003

Language:

english

File:

PDF, 178 KB

english, 2003

16

Influences of feedstock and pyrolysis temperature on the nitrate adsorption of biochar

Kameyama, Koji, Miyamoto, Teruhito, Iwata, Yukiyoshi, Shiono, Takahiro

Journal:

Soil Science & Plant Nutrition

Year:

2016

Language:

english

File:

PDF, 833 KB

english, 2016

17

[ACM Press the 2016 ACM SIGPLAN Workshop - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2016 - Staging beyond terms: prospects and challenges

Inoue, Jun, Kiselyov, Oleg, Kameyama, Yukiyoshi

Year:

2016

Language:

english

File:

PDF, 205 KB

english, 2016

18

[ACM Press the 2016 ACM SIGPLAN Workshop - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2016 - Finally, safely-extensible and efficient language-integrated query

Suzuki, Kenichi, Kiselyov, Oleg, Kameyama, Yukiyoshi

Year:

2016

Language:

english

File:

PDF, 480 KB

english, 2016

19

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 2998 || Derivation of Deterministic Inverse Programs Based on LR Parsing

Kameyama, Yukiyoshi, Stuckey, Peter J.

Year:

2004

Language:

english

File:

PDF, 247 KB

english, 2004

20

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 2998 || Online Justification for Tabled Logic Programs

Kameyama, Yukiyoshi, Stuckey, Peter J.

Year:

2004

Language:

english

File:

PDF, 260 KB

english, 2004

21

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 2998 || Constructive Intensional Negation

Kameyama, Yukiyoshi, Stuckey, Peter J.

Year:

2004

Language:

english

File:

PDF, 237 KB

english, 2004

22

Effects of Biochar Produced From Sugarcane Bagasse at Different Pyrolysis Temperatures on Water Retention of a Calcaric Dark Red Soil

Kameyama, Koji, Miyamoto, Teruhito, Iwata, Yukiyoshi, Shiono, Takahiro

Journal:

Year:

2016

Language:

english

File:

PDF, 756 KB

english, 2016

23

A Type System for Dynamic Delimited Continuations

Yonezawa, Takuo, Kameyama, Yukiyoshi

Journal:

IPSJ Digital Courier

Year:

2008

Language:

english

File:

PDF, 220 KB

english, 2008

24

Improving Error Messages in Type System

Kustanto, Cynthia, Kameyama, Yukiyoshi

Journal:

IPSJ Online Transactions

Year:

2010

Language:

english

File:

PDF, 276 KB

english, 2010

25

FOREWORD

KAMEYAMA, Yukiyoshi

Journal:

IEICE Transactions on Information and Systems

Year:

2009

Language:

english

File:

PDF, 52 KB

english, 2009

26

Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras

ANDRADE, Jefferson O., KAMEYAMA, Yukiyoshi

Journal:

IEICE Transactions on Information and Systems

Year:

2012

Language:

english

File:

PDF, 807 KB

english, 2012

27

Biochar Amendment of Soils According to their Physicochemical Properties

KAMEYAMA, Koji, IWATA, Yukiyoshi, MIYAMOTO, Teruhito

Journal:

Japan Agricultural Research Quarterly JARQ

Year:

2017

Language:

english

File:

PDF, 1.26 MB

english, 2017

28

[ACM Press the 4th ACM SIGPLAN Workshop - Vancouver, BC, Canada (2015.09.03-2015.09.03)] Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing - FHPC 2015 - Generate and offshore: type-safe and modular code generation for low-level optimization

Takashima, Naoki, Sakamoto, Hiroki, Kameyama, Yukiyoshi

Year:

2015

Language:

english

File:

PDF, 207 KB

english, 2015

29

The Preliminary Study of Water-Retention Related Properties of Biochar Produced from Various Feedstock at Different Pyrolysis Temperatures

Kameyama, Koji, Miyamoto, Teruhito, Iwata, Yukiyoshi

Journal:

Year:

2019

File:

PDF, 2.11 MB

2019

30

[ACM Press the ACM SIGPLAN Workshop - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM '18 - Program generation for ML modules (short paper)

Watanabe, Takahisa, Kameyama, Yukiyoshi

Year:

2018

Language:

english

File:

PDF, 576 KB

english, 2018

31

Monitoring Electrical Conductivity and Nitrate Concentrations in an Andisol Field Using Time Domain Reflectometry

MIYAMOTO, Teruhito, KAMEYAMA, Koji, IWATA, Yukiyoshi

Journal:

Japan Agricultural Research Quarterly JARQ

Year:

2015

Language:

english

File:

PDF, 984 KB

english, 2015

32

Bound Water, Phase Configuration, and Dielectric Damping Effects on TDRâMeasured Apparent Permittivity

Dyck, Miles, Miyamoto, Teruhito, Iwata, Yukiyoshi, Kameyama, Koji

Journal:

Vadose Zone Journal

Year:

2019

File:

PDF, 1.91 MB

2019

33

Comparison of plant Cd accumulation from a Cd-contaminated soil amended with biochar produced from various feedstocks

Kameyama, Koji, Miyamoto, Teruhito, Iwata, Yukiyoshi

Journal:

Environmental Science and Pollution Research

Year:

2020

File:

PDF, 565 KB

2020

34

Evaluation of a multiâsensor for measuring solution electrical conductivity in coir

Miyamoto, Teruhito, Iwata, Yukiyoshi, Inaba, Satoshi, Kameyama, Koji, Dyck, Miles

Journal:

Soil Science Society of America Journal

Year:

2020

File:

PDF, 1.06 MB

2020